$\forall$$r$:CRng, $u$, $v$:$\mid$$r$$\mid$. $v$ $\mid$ $u$ in $r$ $\Leftarrow\!\Rightarrow$ (($v$)$r$($u$))